33 research outputs found
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what
Niedermeier has called, "the art of problem parameterization". In this paper we
introduce and explore a novel but general form of parameterization: the number
of numbers. Several classic numerical problems, such as Subset Sum, Partition,
3-Partition, Numerical 3-Dimensional Matching, and Numerical Matching with
Target Sums, have multisets of integers as input. We initiate the study of
parameterizing these problems by the number of distinct integers in the input.
We rely on an FPT result for ILPF to show that all the above-mentioned problems
are fixed-parameter tractable when parameterized in this way. In various
applied settings, problem inputs often consist in part of multisets of integers
or multisets of weighted objects (such as edges in a graph, or jobs to be
scheduled). Such number-of-numbers parameterized problems often reduce to
subproblems about transition systems of various kinds, parameterized by the
size of the system description. We consider several core problems of this kind
relevant to number-of-numbers parameterization. Our main hardness result
considers the problem: given a non-deterministic Mealy machine M (a finite
state automaton outputting a letter on each transition), an input word x, and a
census requirement c for the output word specifying how many times each letter
of the output alphabet should be written, decide whether there exists a
computation of M reading x that outputs a word y that meets the requirement c.
We show that this problem is hard for W[1]. If the question is whether there
exists an input word x such that a computation of M on x outputs a word that
meets c, the problem becomes fixed-parameter tractable
Parameterized lower bound and NP-completeness of some -free Edge Deletion problems
For a graph , the -free Edge Deletion problem asks whether there exist
at most edges whose deletion from the input graph results in a graph
without any induced copy of . We prove that -free Edge Deletion is
NP-complete if is a graph with at least two edges and has a component
with maximum number of vertices which is a tree or a regular graph.
Furthermore, we obtain that these NP-complete problems cannot be solved in
parameterized subexponential time, i.e., in time ,
unless Exponential Time Hypothesis fails.Comment: 15 pages, COCOA 15 accepted pape
Parameterized Algorithms for Graph Partitioning Problems
We study a broad class of graph partitioning problems, where each problem is
specified by a graph , and parameters and . We seek a subset
of size , such that is at most
(or at least) , where are constants
defining the problem, and are the cardinalities of the edge sets
having both endpoints, and exactly one endpoint, in , respectively. This
class of fixed cardinality graph partitioning problems (FGPP) encompasses Max
-Cut, Min -Vertex Cover, -Densest Subgraph, and -Sparsest
Subgraph.
Our main result is an algorithm for any problem in
this class, where is the maximum degree in the input graph.
This resolves an open question posed by Bonnet et al. [IPEC 2013]. We obtain
faster algorithms for certain subclasses of FGPPs, parameterized by , or by
. In particular, we give an time algorithm for Max
-Cut, thus improving significantly the best known time
algorithm
A genetic algorithm
Castelli, M., Dondi, R., Manzoni, S., Mauri, G., & Zoppis, I. (2019). Top k 2-clubs in a network: A genetic algorithm. In J. J. Dongarra, J. M. F. Rodrigues, P. J. S. Cardoso, J. Monteiro, R. Lam, V. V. Krzhizhanovskaya, M. H. Lees, ... P. M. A. Sloot (Eds.), Computational Science. ICCS 2019: 19th International Conference, 2019, Proceedings (Vol. 5, pp. 656-663). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11540 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-22750-0_63The identification of cohesive communities (dense sub-graphs) is a typical task applied to the analysis of social and biological networks. Different definitions of communities have been adopted for particular occurrences. One of these, the 2-club (dense subgraphs with diameter value at most of length 2) has been revealed of interest for applications and theoretical studies. Unfortunately, the identification of 2-clubs is a computationally intractable problem, and the search of approximate solutions (at a reasonable time) is therefore fundamental in many practical areas. In this article, we present a genetic algorithm based heuristic to compute a collection of Top k 2-clubs, i.e., a set composed by the largest k 2-clubs which cover an input graph. In particular, we discuss some preliminary results for synthetic data obtained by sampling Erdös-Rényi random graphs.authorsversionpublishe
Polynomial kernelization for removing induced claws and diamonds
A graph is called (claw,diamond)-free if it contains neither a claw (a
) nor a diamond (a with an edge removed) as an induced subgraph.
Equivalently, (claw,diamond)-free graphs can be characterized as line graphs of
triangle-free graphs, or as linear dominoes, i.e., graphs in which every vertex
is in at most two maximal cliques and every edge is in exactly one maximal
clique.
In this paper we consider the parameterized complexity of the
(claw,diamond)-free Edge Deletion problem, where given a graph and a
parameter , the question is whether one can remove at most edges from
to obtain a (claw,diamond)-free graph. Our main result is that this problem
admits a polynomial kernel. We complement this finding by proving that, even on
instances with maximum degree , the problem is NP-complete and cannot be
solved in time unless the Exponential Time
Hypothesis fai
Fast branching algorithm for Cluster Vertex Deletion
In the family of clustering problems, we are given a set of objects (vertices
of the graph), together with some observed pairwise similarities (edges). The
goal is to identify clusters of similar objects by slightly modifying the graph
to obtain a cluster graph (disjoint union of cliques). Hueffner et al. [Theory
Comput. Syst. 2010] initiated the parameterized study of Cluster Vertex
Deletion, where the allowed modification is vertex deletion, and presented an
elegant O(2^k * k^9 + n * m)-time fixed-parameter algorithm, parameterized by
the solution size. In our work, we pick up this line of research and present an
O(1.9102^k * (n + m))-time branching algorithm
Enumerating Isolated Cliques in Temporal Networks
Isolation is a concept from the world of clique enumeration that is mostly
used to model communities that do not have much contact to the outside world.
Herein, a clique is considered isolated if it has few edges connecting it to
the rest of the graph. Motivated by recent work on enumerating cliques in
temporal networks, we lift the isolation concept to this setting. We discover
that the addition of the time dimension leads to six distinct natural isolation
concepts. Our main contribution is the development of fixed-parameter
enumeration algorithms for five of these six clique types employing the
parameter "degree of isolation". On the empirical side, we implement and test
these algorithms on (temporal) social network data, obtaining encouraging
preliminary results
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
We study the parameterized complexity of the Bounded-Degree Vertex Deletion problem (BDD), where the aim is to find a maximum induced subgraph whose maximum degree is below a given degree bound. Our focus lies on parameters that measure the structural properties of the input instance. We first show that the problem is W[1]-hard parameterized by a wide range of fairly restrictive structural parameters such as the feedback vertex set number, pathwidth, treedepth, and even the size of a minimum vertex deletion set into graphs of pathwidth and treedepth at most three. We thereby resolve an open question stated in Betzler, Bredereck, Niedermeier and Uhlmann (2012) concerning the complexity of BDD parameterized by the feedback vertex set number. On the positive side, we obtain fixed-parameter algorithms for the problem with respect to the decompositional parameter treecut width and a novel problem-specific parameter called the core fracture number